『Type Checking with Open Type Functions』
著者
大まかな流れ
Abstract
1 Introduction
2 Motivation and examples
3 Formulating the problem
4 Step1: Completion
5 Step2: Solving
6 Properties
7 First extension: unification variables
8 Second extension: relaxed top-level conditions
9 Related Work
10 Conclusion & Future Work
fundepsと似たような機能をもたらすtype familiesについて
今の関心と違ったのでいったん保留mrsekut.icon
Abstract
Type FamilyではなくAssociated typesと書いているが、どこにリンクすべきなのか理解できてないのでいったんtype familyとしておくmrsekut.icon
1 Introduction
2 Motivation and examples
3 Formulating the problem
4 Step1: Completion
5 Step2: Solving
6 Properties
7 First extension: unification variables
8 Second extension: relaxed top-level conditions
9 Related Work
10 Conclusion & Future Work